Formal specification of multi-agent e-barter systems
نویسندگان
چکیده
منابع مشابه
Compositional Formal Specification of Multi-Agent Systems
In this paper it is investigated how multi-agent systems with complex agents can be designed and formally specified based on the notion of a compositional architecture. After identifying the types of knowledge required for an agent we formally define a general multi-agent system. Moreover, a specific type of agent with various capabilities of reasoning and acting is given. Some essential patter...
متن کاملFormal Specification and Prototyping of Multi-agent Systems
This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a few assumptions, the most important is that MAS must be described by an organizational model which semantics is given in term of a formal framework. This model allows for a simple description of both individual and collective mul...
متن کاملFormal Specification and Verification of Trust in Multi-Agent Systems
Trust remains one fundamental challenge that is holding back the success of mas. Although the available literature is rich with trust mechanisms and strategies, the notion of trust remains a vague notion. In this paper we try to bring these trust theories to a concrete level. We present a mechanism for specifying and verifying the various trust strategies and mechanisms of the available literat...
متن کاملFormal Specification of Multi-Agent Systems: A Real-World Case
In this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems.
متن کاملFormal Specification of Holonic Multi-Agent Systems Framework
Even if software agents and multi-agent systems (MAS) are recognized as both useful abstractions and effective technologies for modeling and building complex distributed applications, they are still difficult to engineer. When massive number of autonomous components interact it is very difficult to predict the behavior of the system and guarantee that the desired functionalities will be fulfill...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2005
ISSN: 0167-6423
DOI: 10.1016/j.scico.2005.01.002